试说关系推理的正确形式及其符号化

仅有推理公式而没有明确的关系性质，推理无法进行；关系性质虽然确定，却用文字加以说明，推理就是非形式的。怎样摆脱这种两难困境？出路就在于正确揭示关系推理的结构关系并将之符号化。这对完善普通逻辑或关系理论有重要意义。     

层次式网络管理系统故障管理子系统研究与实现

计算机网络日益复杂和异构化，迫切需要提高可靠、跨平台的网络管理系统保证网络稳定、高效运行。分析了传统网络管理系统的不足，提出了一层次分布式网络管理系统故障管理算法，并讨论了算法的性能。最后采用ＣＯＲＢＡ，Ｗｅｂ和Ｊａｖａ技术实现了该算法。     

基于先验知识的降秩STAP方法研究

提出了一种基于杂波先验知识的降秩(RR)空时自适应处理(STAP)方法——KA-RR法,该方法首先利用载机平台运动参数、雷达系统参数及地形、地貌参数等先验知识构建机载雷达杂波模型,然后通过该模型对机载雷达杂波数据进行预白化处理,最后利用降秩STAP方法自适应抑制剩余杂波。仿真结果表明,相对于传统的降秩STAP方法,KA-RR方法具有更好的杂波抑制性能和更强的鲁棒性。     

都市圈石漠化区域采石场的生态恢复方法与措施探讨

都市圈石漠化区域采石场往往由于过度开发且未采取有效的恢复措施,致使生态环境破坏严重,严重影响了都市圈的生态环境和经济发展.在分析都市圈石漠化区域采石场生态恢复特点的基础上,论述了其生态恢复的基本方法及工程技术措施,指出都市圈石漠化区域采石场生态恢复应依据都市圈发展总体规划和景观生态学、景观建筑学及美学原理,采用开发性治理方法,综合运用多种工程技术措施恢复植被、整治水土流失并进行景观再造,从而满足都市圈对于景观的要求,提高土地利用价值,促进都市圈社会经济发展和城市生态环境建设.     

雷达网抗干扰性能综合评估指标

如何对雷达网的抗干扰性能进行评估一直是国内外的研究热点之一。从雷达网的战术功能总体需求出发,指出可以根据雷达网在干扰前后的情报信息提供能力的变化来进行评估,然后结合对雷达网内部影响其抗干扰性能的各因素分析,并考虑到外场实际开展对雷达网抗干扰性能试验评估的需求,在现有评估指标的基础上,提出用于综合评估雷达网抗干扰性能的指标。     

基于案例推理和模糊诊断的兵器故障诊断专家系统

讨论了基于案例的推理和模糊诊断矩阵在兵器故障中的应用 ,建立了兵器故障诊断WDDS -E系统模型和模糊诊断矩阵模型。详细说明了系统的工作原理和设计过程 ,并给出了应用实例     

捷联式惯性导航系统误差处理技术的新进展

捷联式惯性导航系统误差处理的研究在近年来取得很大进展 ,相继出现了一些新思想、新算法、新技术。首先对捷联惯导系统误差模型的研究现状作了系统总结 ,然后对捷联式系统姿态算法和误差处理技术进行了归纳和分析 ,重点介绍了近期出现的几种新技术 ,最后提出了捷联惯导系统误差处理技术的研究方向。     

基于遗传算法的涡轮增压器叶轮优化设计

提出了一种基于遗传优化理论的涡轮增压器叶轮的优化设计方法,论述了以涡轮增压器叶轮能量损失最小为目标函数,以叶轮叶片进口角、进口直径、进口宽度、出口直径、叶片数、出口角为设计变量的涡轮增压器叶轮的优化设计模型及优化计算的方法,数值计算表明,这种算法可以方便地求得具有最小涡轮损失的涡轮叶形参数.     

发控车维修系统设计

发控车维修系统设计关键是建立发控车维修体系.介绍了现代发控车维修系统设计的要求、维修体系的建立、软硬件设计的方法.     

未来战场的明星武器——精确制导炸弹纵横谈

简要回顾了精确制导炸弹在现代局部战争中的使用情况,论述了精确制导炸弹的分类、特点和当前研制的重点技术、项目及发展趋势,最后警示对这种新的空中威胁必须引起防空界的高度重视。